\begin{table}
\small
\centering
\begin{tabular}{l||c|c|c|c|c|c|c}
{\bf Netlist}&{\bf Covered / Total}&{\bf Covered}&{\bf Templates}&{\bf Subgraphs}&{\bf ET}&{\bf \textit{n}-value}&{\bf ATL} \\
\hline \hline
{\bf s1196}  &          222 / 1032 &       21.51 &            15 &            33 &     5' &                    5 &        7 \\
\hline
{\bf s1423}  &          494 / 1147 &       43.17 &            15 &            31 &     3' &                    7 &       17 \\
\hline
{\bf s5378}  &          644 / 5332 &       12.08 &            19 &            39 &    26' &                   10 &       17 \\
\hline
{\bf s9234}  &           NoSol     &             &               &               &        &                      &          \\
\hline
{\bf s13207} &           NoSol     &             &               &               &        &                      &          \\
\hline
{\bf s15850} &           NoSol     &             &               &               &        &                      &          \\
\end{tabular}\caption[Regularity Extraction REM (noFast) results]{Regularity Extraction REM (noFast) results.\label{t5}}
\end{table}
